1. Categorial grammar /
Author: edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categorial grammar
Classification :
P161
.
C38
1988
2. Categorial grammar
Author: edited by Wojech Buszkowski, witold Marciszewski, Johan van Benthem
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Categoria grammar
Classification :
P
161
.
C38
1988
3. Handbook of Spatial Logics
Author: \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,منطق ریاضی
Classification :
E-Book
,
4. Handbook of logic and language
Author: ]edited by[ Johan van Benthem, Alice ter Meulen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
Classification :
QA
76
.
9
.
N38H25
2011
5. Handbook of modal logic
Author: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Handbooks, manuals, etc ، Modality )Logic(
Classification :
BC
199
.
M6H36
2007
6. Handbook of modal logic /
Author: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Modality (Logic), Handbooks, manuals, etc
Classification :
BC199
.
M6
H36
2007
7. Handbook of spatial logics
Author: / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.
8. Interactive logic :
Author: edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA269
.
I58
2007
9. Philosophy of Information
Author: \ Edited By Pieter Adriaans and Johan Van Benthem
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: نظریه اطلاعات -- فلسفه
Classification :
Q
360
.
P5
10. Philosophy of information
Author: edited by Pieter Adriaans and Johan van Benthem
Library: Library of Mofid University (Qom)
Subject: Philosophy ، Information theory
11. Philosophy of information
Author: edited by Pieter Adriaans and Johan van Benthem
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Philosophy ، Information theory
Classification :
Q
360
.
P45
12. Proof, computation and agency :
Author: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
13. Readings in Formal Epistemology
Author: edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
Classification :
EBOOK
,
BD
R4
161
14. Readings in Formal Epistemology :
Author: edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
Classification :
BD143-237
15. The Logic of Time :
Author: by Johan Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
16. The age of alternative logics :
Author: edited by Johan van Benthem ... [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
Classification :
BC135
.
A39
2006
17. The age of alternative logics : assessing philosophy of logic and mathematics today
Author: edited by Johan van Benthem... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
Classification :
BC
135
.
A35
